#include<stdio.h>
int main ()
{
	double jishu=13.076;
	int year;
	scanf("%d",&year);
	
	
	int i;
	double result=jishu;
	for(i=1;i<=year-2005;i++)
	{
		result=result*1.0589;
	}
	printf("%.3f\n",result);
	return 0;
}
